Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
003B65 | Keiichirou Kusakari [Japon] ; Yasuo Isogai [Japon] ; Masahiko Sakai [Japon] ; Frédéric Blanqui [France] | Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems |
00A928 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon] | The Calculus of Algebraic Constructions |
This area was generated with Dilib version V0.6.33. |